Game representations of classes of piecewise definable functions

نویسنده

  • Luca Motto Ros
چکیده

We present a general way of defining various reduction games on ω which “represent” corresponding topologically defined classes of functions. In particular, we will show how to construct games for piecewise defined functions, for functions which are pointwise limit of certain sequences of functions and for Γ-measurable functions. These games turn out to be useful as a combinatorial tool for the study of general reducibilities for subsets of the Baire space [10].

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Zeta Functions from Definable Equivalence Relations

We prove that the theory of the p-adics Qp, together with a set of explicitly given sorts, admits elimination of imaginaries. Using p-adic integration, we deduce the rationality of certain formal zeta functions arising from definable equivalence relations. As an application, we prove rationality results for zeta functions obtained by counting isomorphism classes of irreducible representations o...

متن کامل

An approximate Herbrand's theorem and definable functions in metric structures

We develop a version of Herbrand’s theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable functions in Hilbert spaces expanded by a group of generic unitary operators and Hilbert spaces expanded by a generic subspace. We also show how Herbrand’s theor...

متن کامل

HYBRID FUNCTIONS APPROACH AND PIECEWISE CONSTANT FUNCTION BY COLLOCATION METHOD FOR THE NONLINEAR VOLTERRA-FREDHOLM INTEGRAL EQUATIONS

In this work, we will compare two approximation method based on hybrid Legendre andBlock-Pulse functions and a computational method for solving nonlinear Fredholm-Volterraintegral equations of the second kind which is based on replacement of the unknown functionby truncated series of well known Block-Pulse functions (BPfs) expansion

متن کامل

Piecewise cubic interpolation of fuzzy data based on B-spline basis functions

In this paper fuzzy piecewise cubic interpolation is constructed for fuzzy data based on B-spline basis functions. We add two new additional conditions which guarantee uniqueness of fuzzy B-spline interpolation.Other conditions are imposed on the interpolation data to guarantee that the interpolation function to be a well-defined fuzzy function. Finally some examples are given to illustrate the...

متن کامل

Locally polynomially bounded structures

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally definable in a fixed o-minimal and polynomially bounded reduct. As an application we show that in certain o-minimal structures definable functions are piecewise im...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Math. Log. Q.

دوره 57  شماره 

صفحات  -

تاریخ انتشار 2011